$\vdash$  $\forall$$T$:Type, $a$:$T$, $Q$:($T$$\rightarrow\mathbb{P}$). ($a$ = !$x$:$T$. $Q$($x$)) $\in$ $\mathbb{P}$